Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke
نویسندگان
چکیده
In Vorlesungen diente es bisher ier Veranschaulichung der Object Constraint Language OCL. Den Studierenden wird es zur Verfügung gestellt, um Übungsaufgaben zu bearbeiten und gefundene Lösungen zu überprüfen. Durch eine bereits integrierte Visualisierung von OCL-Ausdrücken als Baumstruktur, in der Unterausdrücke bis hin zur Belegung der einzelnen Literale dargestellt werden, bietet das Werkzeug den Studierenden einen tiefen Einblick in die Auswertung der OCL-Konstrukte.
منابع مشابه
Aufgabenbeschreibungen für das informatische Modellieren
Das informatische Modellieren ist eine Leitlinie für den Informatikunterricht. Die Schülerinnen und Schüler erlernen mit Hilfe des Computers komplexe Probleme zu lösen. Dazu ist die Vermittlung von Abstraktionsund Reduktionstechniken erforderlich. Für Projekte, die diese Anforderungen unterstützen, sind spezielle Aufgabenstellungen notwendig. Auch an die Aufgabenbeschreibung werden neue Anforde...
متن کاملM2M-Transformation mit der QVT Operational Mappings
QVT ist ein Sprachkonzept der Object Management Group zur Transformation von formalen Modellen. In diesem Beitrag werden ausgehend von einem einfachen Fachklassenmodell die zentralen Konzepte und Techniken der Transformationssprache Operational Mappings vorgestellt, so dass abschließend eine vollständige Transformation eines UML-Modells der PIM-Ebene in eins der PSM-Ebene vorgenommen werden kan...
متن کاملErweiterung eines virtuellen Klassenzimmers zur Verbesserung der Zugänglichkeit für Blinde
Virtuelle Klassenzimmer ermöglichen die Durchführung von Veranstaltungen in Echtzeit an verteilten Standorten. Die Teilnahme von blinden Lernenden wird jedoch durch vielfältige Barrieren behindert. Dieser Beitragbeschreibt eine prototypische Erweiterung des virtuellen opensource Klassenzimmers BigBlueButton um ein Aktivitätsprotokoll, Konfigurationsmöglichkeiten, eine Notizund Beschreibungs-Fun...
متن کاملVDMFA, eine verteilte dynamische Firewallarchitektur für Multimedia-Dienste
Kurzfassung Im Rahmen einer umfassenden Security Policy stellen Firewalls eine wichtige Maßnahme zum Schutz eines privaten Netzes vor Angriffen aus dem Internet dar. Sie basieren in der Regel auf IP-Filtern und Proxies. Filter selektieren an den Netzgrenzen Datenströme nach definierten Regeln, zumeist über TCPoder UDP-Portnummern, die einen Dienst identifizieren, leiten sie weiter oder blocken ...
متن کاملWerkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung
Um Systemzustände zu erzeugen, war man bisher gezwungen, explizit eine Folge von Kommandos anzugeben. Die aktuelle Arbeit ist durch den Wunsch motiviert, Systemzustände auf eine deklarative Art und Weise zu erzeugen, indem man lediglich Eigenschaften dieser Zustände angibt. Zu diesem Zweck haben wir die Sprache ASSL[GBR03] (A Snapshot Sequence Language) entwickelt, die eben dies möglich macht. ...
متن کامل